Formalised development of software by machine assisted transformation

Conference proceedings on Formal methods in software development - ◽

10.1145/99569.99829 ◽

1990 ◽

Author(s):

Colin Runciman ◽

Mike Firth

Download Full-text