Collaborated with:K.Abernethy A.E.K.Sobel J.D.Kiper J.D.Powell
Talks about:technolog (1) transfer (1) softwar (1) specif (1) method (1) formal (1) issu (1)
Person: John C. Kelly
DBLP: Kelly:John_C=
Contributed to:
2000Wrote 1 papers:
- CSEET-2000-AbernethyKSKP #formal method #specification
- Technology Transfer Issues for Formal Methods of Software Specification (KA, JCK, AEKS, JDK, JDP), pp. 23–31.