Microsoft Research – Formula: Ein Webcast von Carl-Philip Wenz, Microsoft Student Partner

Microsoft Student Partner Carl-Philip Wenz stellt Model Checking anhand von Formula (Microsoft Research) vor.

 

You can leave a response, or trackback from your own site.

Leave a Reply