FME '94

FME '94

4.11 - 1251 ratings - Source

[DF87] D. A. Duce and E. V. C. Fielding. Formal ... [HH94] H. Haughton The B Method Manual. B User Trials ... [LH94] K. Lano and H. Haughton Improving the Process of System Specification and Refinement in B. 6th Refinement Workshop anbsp;...

Title:FME '94
Author:Maurice Naftalin, Tim Denvir, Miquel Bertran
Publisher:Springer Verlag - 1994


You Must CONTINUE and create a free account to access unlimited downloads & streaming