Below is the promo video of our upcoming presentation at the ICSE 2015 Formal Demonstrations track:
You can read about it here.
Below is the promo video of our upcoming presentation at the ICSE 2015 Formal Demonstrations track:
You can read about it here.