TMPA-2015: The Verification of Functional Programs by Applying Statechart Dia...Iosif Itkin
油
The Verification of Functional Programs by Applying Statechart Diagrams Construction Method
Andrew Mironov, IPI, Moscow
12 - 14 November 2015
Tools and Methods of Program Analysis in St. Petersburg