Nat Karmios

Orcid: 0009-0000-3582-2483

According to our database1, Nat Karmios authored at least 2 papers between 2023 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Compositional Symbolic Execution for Correctness and Incorrectness Reasoning (Artifact).
Dagstuhl Artifacts Ser., 2024

2023
Symbolic Debugging with Gillian.
Proceedings of the 1st ACM International Workshop on Future Debugging Techniques, 2023


  Loading...