R. s\.enas, P. Curzon, J. Back, и A. Blandford. Interactive Systems. Design, Specification, and Verification, 4323, Springer London, Heidelberg, The original publication is available at www.springerlink.com.(2007)
R. s\.enas, P. Curzon, и A. Blandford. Electronic Notes in Theoretical Computer Science: Proceedings of the First International Workshop on Formal Methods for Interactive Systems (FMIS 2006), (июля 2007)
R. s\.enas, P. Curzon, J. Back, и A. Blandford. Interactive Systems. Design, Specification, and Verification, 4323, Springer London, Heidelberg, The original publication is available at www.springerlink.com.(2007)
R. s\.enas, P. Curzon, и A. Blandford. Electronic Notes in Theoretical Computer Science: Proceedings of the First International Workshop on Formal Methods for Interactive Systems (FMIS 2006), (июля 2007)