Browse by Journal

Group by: Creator's name | Item Type | Date | No Grouping

Jump to: S

Number of items: 1.

S

Simon, Axel and King, Andy and Howe, Jacob M. (2002) Two Variables per Linear Inequality as an Abstract Domain. In: Leuschel, Michael, ed. Logic Based Program Synthesis and Transformation 12th International Workshop. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 71-89. ISBN 978-3-540-40438-5. E-ISBN 978-3-540-45013-9. (doi:10.1007/3-540-45013-0_7) (KAR id:13681)

This list was generated on Wed Apr 17 23:09:40 2024 BST.