Lecture notes in computer science / ed. G. Goos [et al.]. 7316 : Abstract state machines, alloy, D, VDM, and Z : third intern. conf., ABZ 2012, Pisa, Italy, Jun., 2012: proc. / International conference on abstract state machines, alloy, B, VDM, and Z (3; 2012; Pisa); International conference on integrated formal methods (9; 2012; Pisa), 2012. - XV, 378 p. с. - Текст : непосредственный.
Formal techniques for networked and distributed systems вђ“ forte 2007 : 27th IFIP WG 6.1 International conference, Tallinn, Estonia, June 27-29, 2007: proceedings / ed. J. Derrick, 2007 r=on-line. - Текст : электронный.