2 treff

raffinering informatikk notrbib real001842
Refinement calculus : a systematic introduction
Ralph-Johan Back, Joakim von Wright
Bok Engelsk 1998 · Vis mer
Refinement in Z and Object-Z : foundations and advanced applications
John Derrick and Eerke Boiten
Bok Engelsk 2001 · Vis mer