Whiteoak

swMATH44210MaRDI QIDQ5974248FDOQ5974248

Author name not available (Why is that?)

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