Assertion-time inference in logic-based systems.

Bernie Elfrink, Han Reichgelt, Johannes (Han) Reichgelt

Research output: Chapter in Book/Report/Conference proceedingChapter

Original languageAmerican English
Title of host publicationAssertion-time inference in logic-based systems.
StatePublished - Jan 1 1989

Disciplines

  • Business

Cite this