[IEEE 25th International Conference on Software...

  • Main
  • [IEEE 25th International Conference on...

[IEEE 25th International Conference on Software Engineering, 2003. Proceedings. - Portland, OR, USA (2003.05.10-2003.05.10)] 25th International Conference on Software Engineering, 2003. Proceedings. - /spl chi/Chek: A model checker for multi-valued reasoning

Easterbrook, S., Chechik, M., Devereux, B., Gurfinkel, A., Lai, A., Petrovykh, V., Tafliovich, A., Thompson-Walsh, C.
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Year:
2003
Language:
english
DOI:
10.1109/icse.2003.1201295
File:
PDF, 195 KB
english, 2003
Conversion to is in progress
Conversion to is failed