RETRIEVER DO LABRADOR Summer Storm Kennel Labs Por: Roberto Rodrigues.
Regular Model Checking Parosh Aziz Abdulla Uppsala University Cooperation with B. Jonsson, M. Nilsson, J. d’Orso.