Proceedings of the Third Workshop on Formal Integrated Development Environment
Overview
publication date
- January 27, 2017
published in
Identity
Digital Object Identifier (DOI)
Additional Document Info
has global citation frequency
- https://vivo.tib.eu/demo/individual/gcf_W2995292624 Global Citation Count
volume
- 240