Class Invariants by the CRT Method

Type: Book-Chapter

Publication Date: 2010-01-01

Citations: 38

DOI: https://doi.org/10.1007/978-3-642-14518-6_14

Locations

  • Lecture notes in computer science - View
  • arXiv (Cornell University) - View - PDF
  • CiteSeer X (The Pennsylvania State University) - View - PDF
  • HAL (Le Centre pour la Communication Scientifique Directe) - View - PDF
  • DataCite API - View