EventB2Java

MaRDI QIDQ1351832swMATHFDO

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

(10)

• Integrating formal specifications into applications: the ProB Java API
• CoreASM
• Atelier B
• Overture Tool
• scientific article; zbMATH DE number 7453194 (Why is no real title available?)
• BTestBox
• BMotionWeb
• JeB
• VisB
• WebASM

This page was built for software: EventB2Java