Greensmith, Julie

University of Nottingham

The Functional Dendritic Cell Algorithm: A Formal Specification With Haskell

Julie Greensmith and Michael Gale