A logic for describing, not verifying, software Journal Articles

authors

• Parnas, David

status

• published 

publication date

• November 1995

has subject area

• 2202 History and Philosophy of Specific Fields (FoR)
• 2203 Philosophy (FoR)
• Philosophy (Science Metrix)

published in

• Erkenntnis: An International Journal of Scientific Philosophy  Journal

keywords

• 50 Philosophy and Religious Studies
• 5003 Philosophy

Digital Object Identifier (DOI)

• 10.1007/bf01135377

start page

• 321

end page

• 338

volume

• 43

issue

• 3