Handbook of Model Checking | |
מחבר: Author: Автор: مؤلف: | Clarke, E.M., Henzinger, Th.A., Veith, H., Bloem, R. (Eds.) |
הוצאה לאור: Published by: Издательство: دار نشر: | Springer, Berlin, Heidelberg |
קישור: Link: Ссылка: وصلة: | https://www.springer.com/us/book/9783319105741 |
Decision Procedures - An Algorithmic Point of View | |
מחבר: Author: Автор: مؤلف: | Daniel Kroening, Ofer Strichman |
הוצאה לאור: Published by: Издательство: دار نشر: | Springer, Berlin, Heidelberg |
קישור: Link: Ссылка: وصلة: | http://www.decision-procedures.org/ |