EventB2Java

swMATH42803MaRDI QIDQ1351832FDOQ1351832

Author name not available (Why is that?)

Source code repository: https://github.com/ncatanoc/eventb2java

Cited In (2)

• Integrating formal specifications into applications: the ProB Java API
• Title not available (Why is that?)

This page was built for software: EventB2Java