Add publication reference for Mata paper VM - Githubissues

VeriFIT / mata

A fast and simple automata library

MIT License

14 stars 11 forks source link

Add publication reference for Mata paper VM #401

Closed Adda0 closed 3 months ago

Adda0 commented 3 months ago

This PR adds a reference to Mata paper VM.