Cohen, G. C. (Gerald C.)
VIAF ID: 29208781 ( Personal )
Permalink: http://viaf.org/viaf/29208781
Preferred Forms
4xx's: Alternate Name Forms (1)
Works
Title | Sources |
---|---|
Interpreter composition issues in the formal verification... | |
Reference manual for a Requirements Specification Language (RSL). Version 2.0, 1993: |