First Page | Document Content | |
---|---|---|
Date: 2015-10-09 11:50:15 | Towards A Hybrid Approach to Software Verification (Extended Abstract) Dario Della Monica1 and Adrian Francalanza2 1 ICE-TCS, Reykjavik University, IcelandAdd to Reading ListSource URL: staff.um.edu.mtDownload Document from Source WebsiteFile Size: 263,12 KBShare Document on Facebook |