Counterexample-Guided Abstraction Refinement
Role in the Field
Neutralin Health Data Science
Neutralin Software Engineering and Practices
Neutralin Probabilistic Programming Methods
Abstract
Citations
896
Year
2000
PageRank
3.8 / 10
Relative influence (log-scaled)