Yazar
verkshop 3rd 1985 watsonville
1 cilt bulundu.
Cilt sonuçları
Proceedings of VERkshop III--a formal verification workshop, 18-21 February 1985, Pajaro Dunes Conference Center, Watsonville, California
VERkshop (3rd 1985 Watsonville, Calif.) · Association for Computing Machinery
140 sayfa · 1985
Congresses / Verification / Computer programs