Traffic 4

swMATH12635MaRDI QIDQ24561FDOQ24561

Author name not available (Why is that?)

Official website: https://bitbucket.org/nadiapolikarpova/traffic/wiki/Home

Cited In (3)

• Inferring Loop Invariants Using Postconditions
• Pointfree expression and calculation: From quantification to temporal logic
• Touch of class. Learning to program well with objects and contracts

This page was built for software: Traffic 4