Building a Calculus of Data Structures release_owrtpwwto5baza2ruizloskv6i

by Viktor Kuncak, Ruzica Piskac, Philippe Suter, Thomas Wies

Published in Lecture Notes in Computer Science by Springer Berlin Heidelberg.

2010   p26-44

Archived Files and Locations

application/pdf  242.5 kB
file_a2wvitnszfexljd2z3tzxsj7ym
people.mpi-sws.org (web)
web.archive.org (webarchive)
application/pdf  242.6 kB
file_fdl57pnrwbcwzfstuhy7susjta
web.archive.org (webarchive)
lara.epfl.ch (web)
web.archive.org (webarchive)
web.archive.org (webarchive)
infoscience.epfl.ch (web)
application/pdf  242.8 kB
file_uxbtrunauzdnvne5lmhiq3luky
web.archive.org (webarchive)
cs.nyu.edu (web)
web.archive.org (webarchive)
pub.ist.ac.at (web)
Read Archived PDF
Preserved and Accessible
Type  chapter
Stage   published
Year   2010
Container Metadata
Not in DOAJ
Not in Keepers Registry
ISSN-L:  0302-9743
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: a9a88428-2cf5-4013-b80c-b68b513b9ef1
API URL: JSON