Search results

Articles (3)

Journals (0)

1-3 of 3 results for HOL4

Sort by:

Relevance

Select all

Sort by:

Relevance

Open access

Research article

First published 2014

Formalization of Matrix Theory in HOL4

Zhiping Shi, Yan Zhang, Zhenke Liu [...]

Advances in Mechanical Engineering

Retricted access

Research article

First published 2023-2

Shahid Ali Murtza, Waqar Ahmed, Adnan Rashid [...]

Proceedings of the Institution of Mechanical Engineers,Part O: Journal of Risk and Reliability

Retricted access

Research article

First published 2016-12-1

Roberto Guanciale, Hamed Nemati, Mads Dam [...]

Journal of Computer Security