Books listed by ISBN

Julien D'Orso

D.O. ยท J.D.

titleISBN-13
(ISBN-10)		year of publica-
tion		other author(s)
New Directions in Symbolic Model Checking978-91-554-5781-5
(91-554-5781-9)		2003Julien D'Orso

Julien D. Payne