Provably Correct Systems

Մատենագիտական մանրամասներ
Հիմնական հեղինակներ:	He, J, Hoare, C, Fränzle, M, Müller−Olm, M, Olderog, E, Schenke, M, Hansen, M, Ravn, A, Rischel, H
Ձևաչափ:	Conference item
Հրապարակվել է:	Springer 1994

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