Bisimulation and refinement reconciled

Մատենագիտական մանրամասներ
Հիմնական հեղինակներ:	Roscoe, A, Hoare, C, Fournet, C, Gardiner, P, Milner, R, S.Rajamani, Rehof, J
Ձևաչափ:	Report
Հրապարակվել է:	Microsoft 2003

Նմանատիպ նյութեր