Pages that link to "Item:Q283648"
From MaRDI portal
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.