Incorrectness Logic for Scalable Bug Detection
Formal Metadata
| Title |
| |
| Title of Series | ||
| Number of Parts | 12 | |
| Author | ||
| Contributors | ||
| License | CC Attribution - NonCommercial - NoDerivatives 2.5 Switzerland: You are free to use, copy, distribute and transmit the work or content in unchanged form for any legal and non-commercial purpose as long as the work is attributed to the author in the manner specified by the author or licensor. | |
| Identifiers | 10.5446/60321 (DOI) | |
| Publisher | ||
| Release Date | ||
| Language |
Content Metadata
| Subject Area | |
| Genre |