๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

On Deducing Timing Constraints in the Verification of Interfaces

โœ Scribed by F. Mavaddat; T. Gahlinger


Book ID
110264309
Publisher
Springer
Year
1998
Tongue
English
Weight
188 KB
Volume
12
Category
Article
ISSN
0925-9856

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES