English
Français
Search
Browse Collections
Help
English
Français
login
login
Home
> >
Generalized Typestate Checking for Data Structure Consistency
> Access to Fulltext
Information
Files
Generalized Typestate Checking for Data Structure [...]
-
Lam, Patrick
et al
main
file(s):
LamETAL05GeneralizedTypestateCheckingDataStructureConsistency
version 1
LamETAL05GeneralizedTypestateCheckingDataStructureConsistency.pdf
[158.98 KB]
27 Jan 2018, 13:03
n/a