![](/img/cover-not-exists.png)
[Lecture Notes in Computer Science] Combinatorial Optimization and Applications Volume 10043 || Using Unified Model Checking to Verify Heaps
Chan, T-H. Hubert, Li, Minming, Wang, LushengVolume:
10.1007/97
Year:
2016
Language:
english
DOI:
10.1007/978-3-319-48749-6_55
File:
PDF, 311 KB
english, 2016