Code-level model checking in the software development workflow

Public

Published in Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering: Software Engineering in Practice • Jun 27, 2020

Authors:

Nathan Chong

,

Byron Cook

,

Konstantinos Kallas

Finding related papers...

Discussions

(0)

No comments yet

Be the first to share your thoughts!