EventB2Java

swMATH42803MaRDI QIDQ1351832FDOQ1351832

Author name not available (Why is that?)

Official website: https://link.springer.com/chapter/10.1007/978-3-319-40648-0_13

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

Cited In (9)

• BMotionWeb
• JeB
• VisB
• WebASM
• Integrating formal specifications into applications: the ProB Java API
• Title not available (Why is that?)
• Atelier B
• Overture Tool
• BTestBox

This page was built for software: EventB2Java