1999

Conférence Internationale avec comité de lecture

• [BP99] E. Bruneton, J. Pradat-Peyre. "Automatic Verification of Concurrent Ada Programs", Ada-Europe’99, , January 1999,