Modelling and Verifying Contract-Oriented Systems in Maude

Bartoletti, M.; Murgia, M.; Scalas, A.; Zunino, Roberto

doi:10.1007/978-3-319-12904-4_7

Modelling and Verifying Contract-Oriented Systems in Maude

M. Bartoletti;M. Murgia;A. Scalas;Zunino, Roberto

2014-01-01

Scheda breve

Scheda completa

Scheda completa (DC)

	Anno di pubblicazione (Date of publication)
	
				2014
			
	Titolo del volume (Proceedings title)
	
				Rewriting Logic and Its Applications - 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers
			
	Luogo di edizione (Place of publication)
	
				Berlin
			
	Casa editrice (Publisher)
	
				Springer-Verlag
			
	ISBN
	
				9783319129037
9783319129044
			
	Codice Scopus (Scopus Identifier)
	
				2-s2.0-84911983359
			
	Codice WOS (WOS identifier)
	
				WOS:000354950300007
			
	Tutti gli autori
	
						M., Bartoletti; M., Murgia; A., Scalas; Zunino, Roberto
					
	Appare nelle tipologie:
	
				04.1 Saggio in atti di convegno (Paper in Proceedings)

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/11572/100574

Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni

ND

7

5

ND

Modelling and Verifying Contract-Oriented Systems in Maude

M. Bartoletti;M. Murgia;A. Scalas;Zunino, Roberto

2014-01-01

Scheda breve Scheda completa Scheda completa (DC)

Informazioni

Attenzione

Citazioni

social impact

Conferma cancellazione

Scheda breve

Scheda completa

Scheda completa (DC)