Travelled to:1 × France
Collaborated with:D.L'Her L.Marcé
Talks about:sequenti (1) function (1) automata (1) program (1) prove (1) chart (1) use (1)
Person: Philippe Le Parc
DBLP: Parc:Philippe_Le
Contributed to:
1998Wrote 1 papers:
- WIA-1998-LHerPM #automaton #proving #source code #using
- Proving Sequential Function Chart Programs Using Automata (DL, PLP, LM), pp. 149–163.