| dc.contributor.author | Kowalewski, S. | en |
| dc.contributor.author | Philippou, Anna | en |
| dc.contributor.author | Brauer, J. | en |
| dc.creator | Kowalewski, S. | en |
| dc.creator | Philippou, Anna | en |
| dc.creator | Brauer, J. | en |
| dc.date.accessioned | 2019-11-13T10:40:48Z | |
| dc.date.available | 2019-11-13T10:40:48Z | |
| dc.date.issued | 2013 | |
| dc.identifier.issn | 1433-2779 | |
| dc.identifier.uri | http://gnosis.library.ucy.ac.cy/handle/7/54307 | |
| dc.source | International Journal on Software Tools for Technology Transfer | en |
| dc.source.uri | https://www.scopus.com/inward/record.uri?eid=2-s2.0-84880603980&doi=10.1007%2fs10009-013-0280-3&partnerID=40&md5=1917df03cd2c7888cab222c327bd8f64 | |
| dc.title | Model checking and abstract interpretation as building blocks of advanced program analysis techniques: Selected papers from TACAS 2009 | en |
| dc.type | info:eu-repo/semantics/article | |
| dc.identifier.doi | 10.1007/s10009-013-0280-3 | |
| dc.description.volume | 15 | |
| dc.description.issue | 4 | |
| dc.description.startingpage | 287 | |
| dc.description.endingpage | 289 | |
| dc.author.faculty | 002 Σχολή Θετικών και Εφαρμοσμένων Επιστημών / Faculty of Pure and Applied Sciences | |
| dc.author.department | Τμήμα Πληροφορικής / Department of Computer Science | |
| dc.type.uhtype | Article | en |
| dc.source.abbreviation | Int.J.Softw.Tools Technol.Trans. | en |
