941
FP-Graz - Functional Programming Meetup
ICAL
2017-06-08 Thu 19:00 -22:00
where
Graz  ,   Austria
urls
  • meetup
    http://meetup.com/Functional-Programming-Graz/
  • stainless
    http://stainless.epfl.ch/
Description

Experimenting with stainless to perform verification on Scala code.

Comments

There are so far no comments about this event.

Log in to add a comment.