Formal specification

Lamsweerde, Axel van

doi:10.1145/336512.336546

Record: found
Abstract: not found
Conference Proceedings: not found

Formal specification : a roadmap

proceedings-article

Author(s): Axel van Lamsweerde

Publication date (Print): 2000

Conference name: the conference (ICSE '00)

Conference date: July 04, 2000 - July 11, 2000

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

Conference

Publication date (Print): 2000

Pages: 147-159

Article

DOI: 10.1145/336512.336546

SO-VID: 6787c7fb-8e9e-4b9e-b5b7-a48d7b5db6ef

Conference name: the conference

Conference acronym: ICSE '00

Conference number: 2000

Conference location: Limerick, Ireland

Conference date: July 04, 2000 - July 11, 2000

Conference sponsor: IEEE-CS, Computer Society

Conference sponsor: SIGSOFT, ACM Special Interest Group on Software Engineering

Conference sponsor: Irish Comp Soc, Irish Computer Society

History

Data availability:

Comments

Comment on this article

scite_

Cited by 3

See all cited by