@article{8864, author = {Arnaud Gotlieb}, title = {Tcas Software Verification Using Constraint Programming}, year = {2012}, journal = {The Knowledge Engineering Review}, volume = {27}, number = {3}, month = {September}, publisher = {Cambridge University Press New York}, }