Symbolic execution of LOTOS specifications

@inproceedings{Eertink1992SymbolicEO,
  title={Symbolic execution of LOTOS specifications},
  author={Henk Eertink and Dietmar Wolz},
  booktitle={FORTE},
  year={1992}
}

From This Paper

Topics from this paper.