Automated Theorem Proving in Software Engineering

Automated

von Johann M. Schumann

Springer Berlin Heidelberg · 2001

Gebunden

ISBN: 978-3-540-67989-9

ISBN-10: 3-540-67989-8