Proceedings of the 2nd FME Workshop on Formal Methods in Software Engineering. Association for Computing Machinery (ACM).
Dyfyniad Arddull ChicagoProceedings of the 2nd FME Workshop on Formal Methods in Software Engineering. Association for Computing Machinery (ACM).
Dyfyniad MLAProceedings of the 2nd FME Workshop on Formal Methods in Software Engineering. Association for Computing Machinery (ACM).
Rhybudd: Mae'n bosib nad yw'r dyfyniadau hyn bob amser yn 100% cywir.