ASTRÉE: Verification of absence of run-time error (2004)

Cached

Download Links

by Laurent Mauborgne
Venue:BUILDING THE INFORMATION SOCIETY
Citations:13 - 4 self