FORMAL METH.SYST.DESIGN [ISSN : 0925-9856]

Formal Methods in System Design. An international journal. Springer.

Depuis le volume 16 (2000).

2 vols/3 issues each/yr.

Dernier fascicule reçu: 51 - 3 (2017) le 20-12-2017.