Date: 2012-02-05 21:11:01Computing Software engineering Formal methods Technology Theoretical computer science Software quality Software testing Product development Software verification Formal verification Computer science Software development process | | To appear in the APA Newsletter on Philosophy and Computers, FallNo. 1, VolWhen Formal Systems Kill: Computer Ethics and Formal Methods Darren Abramson∗Add to Reading ListSource URL: www.cs.indiana.eduDownload Document from Source Website File Size: 190,67 KBShare Document on Facebook
|