activity
20082023
most citedChecking the Quality of Clinical Guidelines using Automated Reasoning Tools

3 citations · 5 across the 4 of their papers we have counts for

collaborators

4 papers