Semi-formal property verifcation in games

by P. Arun Babu & N. Murali

 

 

Leave a Reply

Your email address will not be published. Required fields are marked *