Skip to main content

Unraveling a Card Trick

Tony Hoare and Natarajan Shankar

Book Title
Time for Verification‚ Essays in Memory of Amir Pnueli
Editor
Zohar Manna and Doron Peled
Pages
195−201
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
6200
Year
2010