Items where Author is "Muñiz, Marco"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Jump to: Monograph
Number of items: 1.


Wies, Thomas and Muñiz, Marco and Kuncak, Viktor (2011) On an efficient decision procedure for imperative tree data structures. Technical Report. IST Austria.

This list was generated on Sun Jun 16 01:01:43 2019 CEST.