Back to Results
First PageMeta Content
Computing / 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 List

Document Date: 2012-02-05 21:11:01


Open Document

File Size: 190,67 KB

Share Result on Facebook