DaftarIsitemplate

Call Number

004 Int c

Title

Computer aided verification: 9th international conf. Cav'97 Haifa, Israel, June 22-25, 1997 Proceedings/edited Orna Grunberg

Author

International Conference, CAV'97;

Publisher

Berlin Springer 1997

Subject

Computer science

Location

FASILKOM-UI;