EPROS A specification/prototyping language. Implemented in {Franz Lisp}. {(ftp://utsun.s.u-tokyo.jp/lang/epros)}. ["Software Prototyping, Formal Methods and VDM", Sharam Hekmatpour et al, A-W 1988].
版權所有 © 2024 3Dict.net