Formal Methods and Software Engineering - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

39
(FIVE YEARS 0)

H-INDEX

11
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540238416, 9783540304821
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Implementing Dynamic Aggregations of Abstract Machines in the B Method

2004 ◽  
pp. 403-417 ◽  
Author(s):  
Nazareno Aguirre ◽  
Juan Bicarregui ◽  
Lucio Guzmán ◽  
Tom Maibaum
Keyword(s):  
B Method ◽  
Abstract Machines

scholarly journals Verifying a File System Implementation

2004 ◽  
pp. 373-390 ◽  
Author(s):  
Konstantine Arkoudas ◽  
Karen Zee ◽  
Viktor Kuncak ◽  
Martin Rinard
Keyword(s):  
File System ◽  
System Implementation
Load More ...
Sign in / Sign up

Export Citation Format

Share Document