Reading Length
Home
Speed Tests
Login
Burkhart Wolff
Identifiers
Open Library
OL7344147A
Top Subjects
Computer software (2)
Software engineering (2)
Programming Languages, Compilers, Interpreters (1)
Logics and Meanings of Programs (1)
Computer science (1)
Mathematical Logic and Formal Languages (1)
Computation by Abstract Devices (1)
Books by Burkhart Wolff
Total count: 5
Theorem Proving in Higher Order Logics
16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings
Springer London, Limited
2003-01-01
Formal Approaches to Software Testing and Runtime Verification
First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers
Springer London, Limited
2006-01-01
Testing Software and Systems
23rd IFIP WG 6. 1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011, Proceedings
Springer London, Limited
2011-01-01
Tests and Proofs
5th International Conference, TAP 2011, Zürich, Switzerland, June 30 - July 1, 2011, Proceedings
Springer
2011-07-14
Unifying Theories of Programming
4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers
Springer Berlin Heidelberg
2013-01-01
