Code Vault
Published in IEEE Software • Sep 1, 2018
Authors:
Gerard J. Holzmann
Abstract
So, what has changed since that first NATO software engineering conference in 1968? Depending on your point of view, nothing much has changed, or everything has changed. The part that didn’t change much is that we still struggle with writing code that’s robust enough to trust. The part that has chan...
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!