Some notes on putting formal specifications to productive use
type: Item
instance of: scholarly article
title: Some notes on putting formal specifications to productive use
zbMATH Open document ID: 0491.68012
DOI: 10.1016/0167-6423(82)90004-1
author: Jim Horning
author: John Guttag
author: Jeannette M. Wing
published in: Science of Computer Programming
publication date: 1982-01-01T00:00:00Z
Mathematics Subject Classification ID: 68P05
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 3772917
zbMATH Keywords: program development
MaRDI profile type: Publication
full work available at URL: 0167-6423(82)90004-1
OpenAlex ID: W2039314417
description: scientific article; zbMATH DE number 3772917