share record
persistent URL:
Juan Ignacio Perna , Chris George : Model Checking RAISE Applicative Specifications. SEFM 2007 : 257-268 share record
persistent URL:
Steve Reeves , David Streader : Feature Refinement. SEFM 2007 : 371-380 share record
persistent URL:
Neha Rungta , Eric G. Mercer : Hardness for Explicit State Software Model Checking Benchmarks. SEFM 2007 : 247-256 share record
persistent URL:
Indranil Saha , Suman Roy , Kuntal Chakraborty : Modeling and Verification of TTCAN Startup Protocol Using Synchronous Calendar. SEFM 2007 : 69-79 share record
persistent URL:
Mohamed Mostafa Saleh , Mourad Debbabi : Verifying Security Properties of Cryptoprotocols: A Novel Approach. SEFM 2007 : 349-360 share record
persistent URL:
Prahladavaradan Sampath , A. C. Rajeev , K. C. Shashidhar , S. Ramesh : How to Test Program Generators? A Case Study using flex. SEFM 2007 : 80-92 share record
persistent URL:
Peter H. Schmitt , Isabel Tonin : Verifying the Mondex Case Study. SEFM 2007 : 47-58 share record
persistent URL:
Huibiao Zhu , Jifeng He , Jing Li , Jonathan P. Bowen : Algebraic Approach to Linking the Semantics of Web Services. SEFM 2007 : 315-328 share record
persistent URL:
Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 10-14 September 2007, London, England, UK. IEEE Computer Society 2007 , ISBN 978-0-7695-2884-7 [contents]