共 50 条
- [6] On formal definition and analysis of formal verification processes Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2014, 8373 : 35 - 52
- [7] DEFINITION OF FORMAL ALGEBRAIC SERIES COMPTES RENDUS HEBDOMADAIRES DES SEANCES DE L ACADEMIE DES SCIENCES SERIE A, 1971, 273 (05): : 284 - &