Filter your results
- 2
- 2
- 2
- 1
- 1
- 2
- 2
- 1
- 1
- 1
|
|
|
sorted by
|
|
|
A Mechanised Proof of an Adaptive State Counting Algorithm31th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2019, Paris, France. pp.176-193, ⟨10.1007/978-3-030-31280-0_11⟩
Conference papers
hal-02526349v1
|
||
|
|
An Executable Mechanised Formalisation of an Adaptive State Counting Algorithm32th IFIP International Conference on Testing Software and Systems (ICTSS), Dec 2020, Naples, Italy. pp.236-254, ⟨10.1007/978-3-030-64881-7_15⟩
Conference papers
hal-03239826v1
|