FA Sign in

Discover references

David Naumann (eds.)

Books

2 results

Cover of Formal Methods: Foundations and Applications: 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings

English Intermediate

Formal Methods: Foundations and Applications: 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings

John Rushby (auth.),Rohit Gheyi,David Naumann (eds.)

2012 View book

Cover of Unifying Theories of Programming: 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers

English Beginner

Unifying Theories of Programming: 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers

David Naumann (eds.)

2015 View book