Skip to main content

Mathematics-Based Software Engineering for Completely Validated Software

Richard C. Linger

PDF DOI 10.1145/74587.74636 dblp

Abstract

No abstract available.

BibTeX

@inproceedings{Linger:ICSE89,
  author    = {Richard C. Linger},
  title     = {{Mathematics-Based} Software Engineering for Completely Validated Software},
  booktitle = {ICSE},
  pages     = {358},
  publisher = {{IEEE} Computer Society / {ACM} Press},
  year      = {1989},
}

Related papers