Porting the Software Product Line Refinement Theory to the Coq Proof Assistant : Brazilian symposium on formal methods
In: Lecture notes in computer science 12475:192-209; Jg. 12475 (2020) S. 192-209
Konferenz
Zugriff:
Titel: |
Porting the Software Product Line Refinement Theory to the Coq Proof Assistant : Brazilian symposium on formal methods
|
---|---|
Autor/in / Beteiligte Person: | Alves, Thayonara ; Teixeira, Leopoldo ; Alves, Vander ; Castro, Thiago |
Link: | |
Quelle: | Lecture notes in computer science 12475:192-209; Jg. 12475 (2020) S. 192-209 |
Veröffentlichung: | 2020 |
Medientyp: | Konferenz |
ISSN: | 0302-9743 (print) |
Sonstiges: |
|