Oladimeji, Patrick
-
Volume 69: Formal Methods for Interactive Systems 2013 - Articles
PVSio-web: a tool for rapid prototyping device user interfaces in PVS
Abstract PDF
Hosted By Universitätsbibliothek TU Berlin.
Electronic Communications of the EASST