David L. Dill

Computer Aided Verification - 1994 - Springer Berlin Heidelberg 1994 - Lecture Notes in Computer Science .

9783540484691


Computer Science