The formal semantics of ISO VDM-SL

Larsen, Peter Gorm; Pawlowski, Wieslaw

doi:10.1016/0920-5489(95)00026-Q

Record: found
Abstract: not found
Article: not found

The formal semantics of ISO VDM-SL

Author(s): Peter Gorm Larsen , Wieslaw Pawlowski

Publication date Created: September 1995

Publication date (Print): September 1995

Journal: Computer Standards & Interfaces

Publisher: Elsevier BV

Read this article at

ScienceOpenPublisher

Bookmark

There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Author and article information

Journal

Title: Computer Standards & Interfaces

Abbreviated Title: Computer Standards & Interfaces

Publisher: Elsevier BV

ISSN (Print): 09205489

Publication date Created: September 1995

Publication date (Print): September 1995

Volume: 17

Issue: 5-6

Pages: 585-601

Article

DOI: 10.1016/0920-5489(95)00026-Q

SO-VID: 2e0a853d-434f-46aa-8311-312f7dfd4f1e

License:

https://www.elsevier.com/tdm/userlicense/1.0/

History

Data availability:

The formal semantics of ISO VDM-SL

Read this article at

Related collections

ScienceOpen Research

Author and article information

Journal

Article

History

Comments

Comment on this article

Similar content 1,360

Cited by 1