External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

(True) Polymorphism in SPARK2000

Tse-Min Lin, John A. McDermid. (True) Polymorphism in SPARK2000. In Hubert B. Keller, Erhard Plödereder, editors, Reliable Software Technologies - Ada-Europe 2000, 5th Ada-Europe International Conference, Potsdam, Germany, June 26-30, 2000, Proceedings. Volume 1845 of Lecture Notes in Computer Science, pages 252-265, Springer, 2000.

Authors

Tse-Min Lin

This author has not been identified. Look up 'Tse-Min Lin' in Google

John A. McDermid

This author has not been identified. Look up 'John A. McDermid' in Google
runs on