CRIS Current Research Information System

Software specification animation using Shared Prolog

Ciancarini, P., Cimato, S. (1996). Animating a non-executable formal specification with a distributed symbolic language. Springer Verlag [10.1007/3-540-61697-7_20].

Animating a non-executable formal specification with a distributed symbolic language

Ciancarini P.
;Cimato S.
1996

Abstract

Software specification animation using Shared Prolog
1996
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
200
201
Ciancarini, P., Cimato, S. (1996). Animating a non-executable formal specification with a distributed symbolic language. Springer Verlag [10.1007/3-540-61697-7_20].
Ciancarini, P.; Cimato, S.
File in questo prodotto:
Eventuali allegati, non sono esposti

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/11585/1046098
 Attenzione

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

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? ND
  • OpenAlex ND
social impact