Lab for Automated Reasoning and Analysis LARA

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

pong [2013/11/19 17:21]
mikael.mayer [Videos]
pong [2013/11/19 17:22] (current)
mikael.mayer [Related paper]
Line 48: Line 48:
 ==== Related paper ==== ==== Related paper ====
  
- +{{::​onwardpongdesigner2013.pdf|Paper submitted to Onward}}
 ==== Download for Android ==== ==== Download for Android ====
  
 
pong.txt · Last modified: 2013/11/19 17:22 by mikael.mayer
 
© EPFL 2018 - Legal notice