Browse by Author

Group by: Item Type | No Grouping

Number of items: 1.

Conference Paper

Pendharkar, NS and Gopinath, K (1998) Formal verification of an O.S. submodule. In: 18th Conference on Foundations of Software Technology and Theoretical Computer Science: FSTTCS98 (Lecture Notes in Computer Science), 17-19 Dec. 1998, Chennai, India, Vol. 1530, 197-208.

This list was generated on Fri Apr 26 20:29:22 2024 IST.


	Powered by EPrints		A service from The J.R.D. Tata Memorial Library Indian Institute of Science, Bengaluru-560012, India

Export as	Atom RSS 1.0 RSS 2.0