Verification: Theory and Practice [E-Book] : Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday / by Nachum Dershowitz.
Dershowitz, Nachum.
Berlin, Heidelberg : Springer Berlin Heidelberg, 2004
online resource
9783540210023
Lecture Notes in Computer Science ; 2772
Full Text
Description not available.