Conference Proceedings

Abstract interpretation, symbolic execution and constraints

R Amadini, G Gange, P Schachte, H Søndergaard, PJ Stuckey

Openaccess Series in Informatics | Published : 2020

DOI: 10.4230/OASIcs.Gabbrielli.2020.7

University of Melbourne Researchers

Roberto Amadini Author

Peter Schachte Author

Harald Sondergaard Author

Citation metrics