First Page | Document Content | |
---|---|---|
Date: 2018-10-25 12:43:22Software engineering Programming language theory Computing Logic in computer science Horn clause Control flow ALGOL 68 Formal methods Logic programming | Finding Inconsistencies in Programs with Loops? Temesghen Kahsai1 , Jorge A. Navas2 , Dejan Jovanovi´c3 , Martin Sch¨af3 1 2Add to Reading ListSource URL: jorgenavas.github.ioDownload Document from Source WebsiteFile Size: 328,78 KBShare Document on Facebook |