Author:
Cabodi Gianpiero,Camurati Paolo,Finocchiaro Fabrizio,Vendraminetto Danilo
Publisher
Springer International Publishing
Reference33 articles.
1. Cabodi, G., Palena, M., Pasini, P.: Interpolation with guided refinement: revisiting incrementality in SAT-based unbounded model checking. In: Formal Methods in Computer-Aided Design (FMCAD), pp. 43–50. IEEE (2014)
2. Beckers, K., Heisel, M., Hatebur, D.: Pattern and Security Requirements. Springer, Cham (2015). https://doi.org/10.1007/978-3-319-16664-3
3. Biere, A., Heljanko, K., Wieringa, S.: Aiger 1.9 and beyond. http://fmv.jku.at/hwmcc11/beyond1.pdf (2011)
4. Boritz, J.E.: Is practitioners’ views on core concepts of information integrity. Int. J. Acc. Inf. Syst. 6(4), 260–279 (2005)
5. Lecture Notes in Computer Science;RE Bryant,2002
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献