• Tool-supported program abstrac...

Treffer: Tool-supported program abstraction for finite-state verification

Title:
Tool-supported program abstraction for finite-state verification
Authors:
Dwyer, M.B., Hatcliff, J., Joehanes, R., Laubach, S., Pasreanu, C.S., Zheng, R.H., Visser, W.
Source:
Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001 Software engineering. ICSE 2001 Software Engineering, 2001. ICSE 2001. Proceedings of the 23rd International Conference on. :177-187 2001
Relation:
Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001
Database:
IEEE Xplore Digital Library