About this scholarly article

Checking Flight Rules with TraceContract Application of a Scala DSL for Trace Analysis by Barringer, Howard (author);Havelund, Klaus (author);Morris, Robert A. (author) is a scholarly article available to read on EtoBox.

Author

Barringer, Howard (author);Havelund, Klaus (author);Morris, Robert A. (author)

Published

2011