Analysis of a software/hardware system by tense arithmetic

  • Kohji Tomita, Takashi Tsuji, Shigeru Igarashi
  • Springer Science + Business Media
  • DOI: 10.1007/bfb0032401

The authors haven't yet claimed this publication.

Read Publication

http://dx.doi.org/10.1007/bfb0032401