Burkhart Wolff · 6 obras en el catálogoObrasTesting Software And Systems 23rd Ifip Wg 61 International Conference Ictss 2011 Paris France November 710 2011 ProceedingsUnifying Theories of ProgrammingTests and ProofsTTheorem Proving in Higher Order LogicsTheorem Proving in Higher Order LogicsFFormal Approaches to Software Testing and Runtime VerificatiFormal Approaches to Software Testing and Runtime VerificationTTesting Software and SystemsTesting Software and Systems
Testing Software And Systems 23rd Ifip Wg 61 International Conference Ictss 2011 Paris France November 710 2011 Proceedings
FFormal Approaches to Software Testing and Runtime VerificatiFormal Approaches to Software Testing and Runtime Verification
