Author:
Senjak Christoph-Simon,Hofmann Martin
Publisher
Springer International Publishing
Reference24 articles.
1. The diffarray package.
https://hackage.haskell.org/package/diffarray
2. High assurance cyber military systems proposers’ day presentation, February 2012.
http://www.darpa.mil/WorkArea/DownloadAsset.aspx?id=2147484882
3. Lecture Notes in Computer Science;R Affeldt,2015
4. Affeldt, R., Hagiwara, M., Sénizergues, J.: Formalization of Shannon’s theorems. J. Autom. Reasoning 53(1), 63–103 (2014). doi:
10.1007/s10817-013-9298-1
5. Appel, A.W.: Program Logics for Certified Compilers. Cambridge University Press, New York (2014)