Travelled to:1 × USA
Collaborated with:J.R.Brown
Talks about:structur (1) approach (1) theoret (1) program (1) verif (1) graph (1)
Person: Kurt F. Fischer
DBLP: Fischer:Kurt_F=
Contributed to:
1978Wrote 1 papers:
- ICSE-1978-BrownF #approach #graph #verification
- A Graph Theoretic Approach to the Verification of Program Structures (JRB, KFF), pp. 136–141.