A separation logic with data: small models and automation
type: Item
instance of: scholarly article
title: A separation logic with data: small models and automation
DOI: 10.1007/978-3-319-94205-6_30
author: Jens Katelaan
author: Dejan Jovanović
author: Georg Weissenbacher
publication date: 2018-10-18T00:00:00Z
Mathematics Subject Classification ID: 68N30
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 68Q25
zbMATH DE Number: 6958116
describes a project that uses: z3
MaRDI profile type: Publication
full work available at URL: 978-3-319-94205-6 30
OpenAlex ID: W2809698264
description: scientific article; zbMATH DE number 6958116