Ivannikov Institute for System Programming of the RAS


Specification Based Conformance Testing for Email Protocols.

Authors

N. Pakulin, A. Tugaenko.

Edition

Proceedings of ISoLA 2010, pp.371-382. Heraclion, Greece, 2010.

Research Group

Software Engineering

All publications during 2010 All publications