A specifier's introduction to formal methods

Wing, J.M.

doi:10.1109/2.58215

Record: found
Abstract: not found
Article: not found

A specifier's introduction to formal methods

Author(s): J.M. Wing

Publication date (Print): September 1990

Journal: Computer

Publisher: Institute of Electrical and Electronics Engineers (IEEE)

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

Most cited references 51

Record: found
Abstract: not found
Book: not found

A Calculus of Communicating Systems

Robin Milner (1980)

0 comments Cited 176 times – based on 0 reviews

Bookmark

Record: found
Abstract: not found
Article: not found

Petri Nets

James Peterson (1977)

0 comments Cited 57 times – based on 0 reviews      Review now

Bookmark

Record: found
Abstract: not found
Article: not found

Proof of correctness of data representations

C. Hoare (1972)

0 comments Cited 56 times – based on 0 reviews      Review now

Bookmark

All references

Author and article information

Journal

Title: Computer

Abbreviated Title: Computer

Publisher: Institute of Electrical and Electronics Engineers (IEEE)

ISSN (Print): 0018-9162

Publication date Created: September 1990

Publication date (Print): September 1990

Volume: 23

Issue: 9

Pages: 8-22

Article

DOI: 10.1109/2.58215

Product

Self URI (article page): http://ieeexplore.ieee.org/document/58215/

Data availability:

A specifier's introduction to formal methods

Read this article at

Related collections

NeuroImaging Methods

Most cited references 51

A Calculus of Communicating Systems

Petri Nets

Proof of correctness of data representations

Author and article information

Journal

Article

Product

Comments

Comment on this article

Similar content 3,461

Cited by 30

Most referenced authors 226