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.