DaftarIsitemplate

Call Number

004 Int c

Title

Computer aided verification: 7th international workshop; Proceedings/CAV'95, Liege, Belgium, July 3-5, 1995/Piere Wolper (ed)

Author

International Conference, CAV'95;

Publisher

Berlin Springer 1995

Subject

Computer science

Location

FASILKOM-UI;