Title of article :
A sequential real-time refinement calculus
Author/Authors :
Ian J. Hayes and Mark Utting ، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2001
Pages :
64
From page :
385
To page :
448
Journal title :
acta Informatica
Serial Year :
2001
Journal title :
acta Informatica
Record number :
287706
Link To Document :
https://search.isc.ac/dl/search/defaultta.aspx?DTC=10&DC=287706
