Travelled to:1 × United Kingdom
Collaborated with:B.Kannikeswaran R.Radhakrishnan P.Frey P.Alexander
Talks about:algorithm (1) specif (1) formal (1) verif (1) pgvt (1)
Person: Philip A. Wilsey
DBLP: Wilsey:Philip_A=
Contributed to:
1996Wrote 1 papers:
- FME-1996-KannikeswaranRFAW #algorithm #specification #verification
- Formal Specification and Verification of the pGVT Algorithm (BK, RR, PF, PA, PAW), pp. 405–424.