EventB2Dafny

From MaRDI portal

Jump to:navigation, search

MaRDI QIDQ28413swMATHFDO

Official website http://poporo.uma.pt/eventb2dafny/index.html

Cited in

(1)

Fundamentals of software engineering. 6th international conference, FSEN 2015, Tehran, Iran, April 22--24, 2015. Revised selected papers

This page was built for software: EventB2Dafny

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=EventB2Dafny&oldid=56299560"