lburski has asked 0
questions and find answers to 2
problems.
Stats
22 EtPoint
2 Vote count
0 questions
2 answers
About
Heriot-Watt University Bsc (Hons) Computer Science Graduate. Now working on a PhD research project to semi automate the translation between a formal specification into a theorem prover.
Menu