Tcas Software Verification Using Constraint Programming
- Authors
- A. Gotlieb
- Status
- Published
- Publication type
- Journal Article
- Year of publication
- 2012
- Journal
- The Knowledge Engineering Review
- Publisher
- Cambridge University Press New York
- Citation key
- 8864