David Laprell
Orcid: 0000-0002-2219-0867
According to our database1,
David Laprell
authored at least 2 papers
in 2020.
Collaborative distances:
Collaborative distances:
Timeline
2020
0
1
2
3
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2020
Artifact for the CAV 2020 Paper: Symbolic Partial-Order Execution for Testing Multi-Threaded Programs.
Dataset, July, 2020
Proceedings of the Computer Aided Verification - 32nd International Conference, 2020