Work

Formal Modelling of Immune Complex Network Based on B Method