Whiteoak

MaRDI QIDQ5974248swMATHFDO

Official website https://whiteoak.sourceforge.net/

Cited in

(2)

• Verifying Whiley programs with Boogie
• On flexible dynamic trait replacement for Java-like languages

This page was built for software: Whiteoak