Equating Simulation with Refinement

গ্রন্থ-পঞ্জীর বিবরন
প্রধান লেখক:	He, J, Hoare, T, Fournet, C, Gardiner, P, Rajamani, S, Rehof, J, Roscoe, B
বিন্যাস:	Record
প্রকাশিত:	2003

বিবরন
সংক্ষিপ্ত:

অনুরূপ উপাদানগুলি