I agree that this site is using cookies. You can find further informations here.
X
Merkliste 
 1 Ergebnisse 
 
1

Session details: Formal reasoning:

, In: Proceedings of the 7th international workshop on Software specification and design,
Gaudel, M. C. ; Woodcock, J. C. , 1993
Link: https://dl.acm.org/doi/10.5555/951807.3249231