Abstract State Machines


Abstract State Machines

Full Description


Abstract State Machines

– A formal method for specifying and verifying algorithms. Tools, meetings, researchers in the area.



Category


Leave a Reply

You must be logged in to post a comment.