Abstract State Machines, Alloy, B, TLA, VDM, and Z
6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings
Book and Conference Proceedings
6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings
Book and Conference Proceedings
5th International Workshop, EMAS 2017, Sao Paulo, Brazil, May 8-9, 2017, Revised Selected Papers
Book and Conference Proceedings
International Joint Conference, IJCRS 2018, Quy Nhon, Vietnam, August 20-24, 2018, Proceedings
Book and Conference Proceedings
19th International Conference, Phuket, Thailand, August 22-26, 2016, Proceedings
Book and Conference Proceedings
14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings
Book and Conference Proceedings
12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings
Book and Conference Proceedings
7th International Conference, RSKT 2012, Chengdu, China, August 17-20, 2012. Proceedings
Book and Conference Proceedings
5th International Conference, RSCTC 2006 Kobe, Japan, November 6-8, 2006 Proceedings