A Temporal Logic Language Oriented Toward Software Engineering -- An introduction to XYZ System (I). Chinese Journal of Advanced Software Research, Vol. 1 No 1, 1994, 1-29.
(1994)
Languages mentioned
XYZ/E
{1983}