"Formal Specification and Verification of the Kernel Functional Unit of the ..."

Milica Barjaktarovic, Shiu-Kai Chin, Kamal Jabbour (1996)
a service of Schloss Dagstuhl - Leibniz Center for Informatics