This category needs an editor. We encourage you to help if you are qualified.
Volunteer, or read more about what this involves.
Volunteer, or read more about what this involves.
Philosophy of Computing and Information > Philosophy of Computation, Miscellaneous > Software Verification
Software Verification
Related categories
Siblings:
- Computational Philosophy (114)
- Computers in Philosophy (36)
- Computer Languages (9)
- Databases (41)
- The Internet (426)
- Hypertext (46)
- Programs (15)
- Software (453)
- Blockchain (3)
- Philosophy of Computation, Misc (104)
Jobs in this area
Series Editor: Current Events in Public Philosophy
Esther Mackintosh Humanities Scholar of the University
Assistant or Associate Professor
Jobs from PhilJobs
15 found
Order:
1 filter applied
|
Off-campus access
Using PhilPapers from home?
Create an account to enable off-campus access through your institution's proxy server. Monitor this page
Be alerted of all new items appearing on this page. Choose how you want to monitor it:
Editorial team
General Editors:
David Bourget (Western Ontario) David Chalmers (ANU, NYU) Area Editors: David Bourget Gwen Bradford Berit Brogaard Margaret Cameron David Chalmers James Chase Rafael De Clercq Ezio Di Nucci Esa Diaz-Leon Barry Hallen Hans Halvorson Jonathan Ichikawa Michelle Kosch Øystein Linnebo JeeLoo Liu Paul Livingston Brandon Look Manolo Martínez Matthew McGrath Michiru Nagatsu Susana Nuccetelli Giuseppe Primiero Jack Alan Reynolds Darrell P. Rowbottom Aleksandra Samonek Constantine Sandis Howard Sankey Jonathan Schaffer Thomas Senor Robin Smith Daniel Star Jussi Suikkanen Aness Kim Webster Other editors Contact us Learn more about PhilPapers |