From formal models to formally-based methods: an industrial experience / E.CIAPESSONI; A.COEN-PORISINI; E.CRIVELLI; D.MANDRIOLI; P.MIRANDOLA; A. MORZENTI. - 8(1999), pp. 79-113.

From formal models to formally-based methods: an industrial experience

MANDRIOLI, DINO;MORZENTI, ANGELO CARLO
1999

File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11311/559204
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact