JIST

MaRDI QIDQ31032swMATHFDO

Official website http://www.nitrc.org/projects/jist/

Cited in

(1)

• Synthesis of interface specifications for Java classes

This page was built for software: JIST