Search - IFIP - Lecture Notes in Computer Science Access content directly

Filter your results

1 Array
Image document

Analyzing Mutable Checkpointing via Invariants

Deepanker Aggarwal , Astrid Kiehn
6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. pp.176-190, ⟨10.1007/978-3-319-24644-4_12⟩
Conference papers hal-01446599v1