Integration of a security type system into a program logic
- R. Hähnle
- , J. Pan
- , P. Rümmer
- , D. Walter
Research output: Contribution to journal › Article › Academic › peer-review
5
Link opens in a new tab
Citations
(Scopus)