Miller, Alice, United Kingdom
-
Volume 22: Formal Methods for Interactive Systems 2009 - Articles
Towards the Verification of Pervasive Systems
Abstract PDF -
Volume 35: Automated Verification of Critical Systems 2010 - Articles
Verification of Symmetry Detection using PVS
Abstract PDF
Hosted By Universitätsbibliothek TU Berlin.