An update for the Constructor-based Inductive Theorem Prover (CITP)
- Daniel Gaina
Date: | 2014/11/20 (Thu) 15:00 to 17:00 |
---|---|
Place: | JAIST IS school collaboration room 7 (5F) |
Group: | Research Center for Software Verification |
Contact | nao-aoki |
---|
Date: | 2014/11/20 (Thu) 15:00 to 17:00 |
---|---|
Place: | JAIST IS school collaboration room 7 (5F) |
Group: | Research Center for Software Verification |
Contact | nao-aoki |
---|