IMT journal
Cited workPublicationDocument
PVS Specification and Verification System
http://libmeta.ru/resource/imt/cited_1446
Данные
| sourceNote | SRI International. Available at: http://pvs.csl.sri.com/ (accessed 18.04.2018) |
| language | en |
| bibliographicCitation | PVS Specification and Verification System. SRI International. Available at: http://pvs.csl.sri.com/ (accessed 18.04.2018) |
Входящие связи