Concepedia

Publication | Open Access

Verification and test generation for the SSCOP protocol

DOIFull Paper Access

35

Citations

6

References

2000

Year

Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Claude Jard, Thierry Jéron, Alain Kerbrat, P. Morel, Laurent Mounier
Science of Computer Programming

References

YearCitations

Page 1