Isabelle/UTP: Mechanised Theory Engineering for Unifying Theories of Programming by Simon Foster, Frank Zeyda, Yakoub Nemouchi, Pedro Ribeiro and Burkhart Wolff Feb 01
Formal Specification of a Generic Separation Kernel by Freek Verbeek, Sergey Tverdyshev, Oto Havle, Holger Blasum, Bruno Langenstein, Werner Stephan, Yakoub Nemouchi, Abderrahmane Feliachi, Burkhart Wolff and Julien Schmaltz Jul 18