Electronic Communications of the EASST
Brown, Neil Christopher Charles, United Kingdom
-
Volume 23: Automated Verification of Critical Systems 2009 - Articles
Automatically Generating CSP Models for Communicating Haskell Processes
Abstract PDF
Hosted By Universitätsbibliothek TU Berlin.