THE FORMAL SPECIFICATION OF ABSTRACT-DATA-TYPES AND THEIR IMPLEMENTATION IN FORTRAN-90

Research output: Contribution to journalArticle

4 Citations (Scopus)
Original languageEnglish
Pages (from-to)201-225
Number of pages25
JournalComputer Physics Communications
Volume84(1-3)
Publication statusPublished - Nov 1994

Cite this