Formal methods · RefHub

English Intermediate

Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected ... Programming and Software Engineering)

Marcel Vinícius Medeiros Oliveira,Jim Woodcock

2009 View book

English Intermediate

Nicolas Blanc,Daniel Kroening (auth.),Marcel Vinícius Medeiros Oliveira,Jim Woodcock (eds.)

2009 View book

English Intermediate

Michael Leuschel,Jens Bendisposto (auth.),Jim Davies,Leila Silva,Adenilso Simao (eds.)

2011 View book

English Beginner

Myungchul Kim,Byoungmoon Chin,Sungwon Kang,Danhyung Lee

2001 View book

English Beginner

Ralph-Johan Back (auth.),Andrew Butterfield (eds.)

2010 View book

English Beginner

David Naumann (eds.)

2015 View book

English Unordered

Manfred Broy

1991 January―1991 March View book