Hendrik Post, Carsten Sinz, Wolfgang Küchlin. Towards automatic software model checking of thousands of Linux modules - a case study with Avinux. Softw. Test., Verif. Reliab., 19(2):155-172, 2009. [doi]
No references recorded for this publication.
No citations of this publication recorded.