34311 articles – 26875 Notices  [english version]
.:. Consultation > Par auteur > Andrieu .:.
1 document

SToP : Scalable Termination analysis of (C) Programs (tool presentation)
Andrieu G., Alias C., Gonnord L.
Dans Tapas 2012 (2012) [hal-00760926 - version 1]