Paper Info
Title
Unifying Program Refinement Calculi
Year
Venue
Field
2005
Abstract State Machines
Programming language,Computer science,Refinement
DocType
Citations 
PageRank 
Conference
0
0.34
References 
Authors
0
1
Name
Order
Citations
PageRank
Jim Woodcock153477.08