Browse by Journal

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

Jump to: G

Number of items: 1.

G

Grigore, Radu and Kiefer, Stefan (2015) Tree Buffers. In: Computer Aided Verification 27th International Conference. Lecture Notes in Computer Science . Springer, Cham, Switzerland, pp. 290-306. ISBN 978-3-319-21689-8. E-ISBN 978-3-319-21690-4. (doi:10.1007/978-3-319-21690-4_17) (KAR id:54173)

This list was generated on Tue Apr 23 22:54:03 2024 BST.