Original language | American English |
---|---|
Title of host publication | Assertion-time inference in logic-based systems. |
State | Published - Jan 1 1989 |
Disciplines
- Business
Bernie Elfrink, Han Reichgelt, Johannes (Han) Reichgelt
Research output: Chapter in Book/Report/Conference proceeding › Chapter
Original language | American English |
---|---|
Title of host publication | Assertion-time inference in logic-based systems. |
State | Published - Jan 1 1989 |