Export: Abstract interpretation with specialized definitions
Puebla Sánchez, Alvaro Germán and Albert Albiol, Elvira and Hermenegildo, Manuel V. (2006). Abstract interpretation with specialized definitions. In: "13th International Symposium, SAS 2006", August 29-31, 2006, Seoul, Korea. ISBN 978-3-540-37756-6.
Please select an output format:
