JeB

MaRDI QIDQ5972331swMATHFDO

Official website https://ieeexplore.ieee.org/document/6805454

Cited in

(7)

• Integrating formal specifications into applications: the ProB Java API
• CoreASM
• BTestBox
• EventB2Java
• BMotionWeb
• VisB
• WebASM

This page was built for software: JeB