Pages that link to "Item:Q283648"

The following pages link to Abstract state machines, Alloy, B, TLA, VDM, and Z. 5th international conference, ABZ 2016, Linz, Austria, May 23--27, 2016. Proceedings (Q283648):

Displaying 1 item.

• Special issue: Selected papers based on the presentations at the first international conference on abstract state machines, B and Z (ABZ 2008), London, UK, September 16--18, 2008 (Q617342) (← links)