A BRUTUS Logic for a Spi-Calculus Dialect

S. Gnesi, D. Latella, G. Lenzini

Research output: Book/ReportReportOther research output

18 Downloads (Pure)

Fingerprint

Dive into the research topics of 'A BRUTUS Logic for a Spi-Calculus Dialect'. Together they form a unique fingerprint.

Engineering & Materials Science