1
Publications
60
Citations
1
H-Index
1997
Active since
Wlodek Drabent is an author specializing in formal methods, program analysis, and formal verification.
Top concepts
SemanticsEngineeringVerificationFormal MethodsComputer ScienceProgram AnalysisLogic ProgrammingAutomated ReasoningFormal VerificationAnswer Set Programming
Publications per year
1997–1997
1
1
On the role of semantic approximations in validation and diagnosis of constraint logic programs
Francisco Bueno Carrillo, Pierre Deransart, Wlodek Drabent et al. · International Colloquium on Automata, Languages and Programming · 1997 · 60 citations
Constraint Solving, Engineering, Constraint Satisfaction +12
Rows per page
1–1 of 1