Travelled to:
1 × France
Collaborated with:
Z.Farkas P.Szeredi
Talks about:
support (1) program (1) system (1) specif (1) ldm (1)
Person: Edit Sántáné-Tóth
DBLP: S=aacute=nt=aacute=n=eacute=-T=oacute=th:Edit
Contributed to:
Wrote 1 papers:
- ILPC-1982-FarkasSS82 #named #specification
- LDM: A Program Specification Support System (ZF, PS, EST), pp. 123–128.