Contracts - From Analysis to C++ Implementation.

Reinhold Plösch, Josef Pichler

Research output: Contribution to conferencePaperpeer-review

Original languageEnglish
Pages248-257
Number of pages10
DOIs
Publication statusPublished - 1999

Cite this