Gale, Michael

University of Cambridge

The Functional Dendritic Cell Algorithm: A Formal Specification With Haskell

Julie Greensmith and Michael Gale