Time For Verification Essays In Memory Of Amir Pnueli
Publisher: Springer
Published: 2010
ISBN-13: 9783642137532