scientific article; zbMATH DE number 1751915

zbMATH Open1019.68030MaRDI QIDQ4533015FDOQ4533015

Authors: Grzegorz Hamuda, Wolfgang A. Halang 

Publication date: 6 June 2002

Title of this publication is not available (Why is that?)

Recommendations

• Theorem Proving in Higher Order Logics
• scientific article; zbMATH DE number 62143
• scientific article
• Formal models of operating system kernels
• Formal refinement for operating systems kernels.

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Cited In (2)

• Theorem Proving in Higher Order Logics
• Formal models of operating system kernels

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4533015)