2001

Automated Theorem Proving in Software Engineering

Authors:

ISBN: 978-3-642-08759-2 (Print) 978-3-662-22646-9 (Online)