TMPA-2015: The Verification of Functional Programs by Applying Statechart Diagrams Construction Method

5206c19df417b8876825b5561344c1a0?s=47 Exactpro
December 01, 2015

TMPA-2015: The Verification of Functional Programs by Applying Statechart Diagrams Construction Method

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

5206c19df417b8876825b5561344c1a0?s=128

Exactpro

December 01, 2015
Tweet