MC
111
Publications
3,366
Citations
26
h-index
43
i10-index
Loading papers...
Search by keywords
Filter by Type
- Article (58)
- Book Chapter (47)
- Book (2)
- Preprint (2)
- Dissertation (1)
Filter by Open Access Type
- Open Access (26)
- Closed Access (85)
Filter by Authors
- Manuel Clavel (111)
- José Meseguer (43)
- Steven Eker (38)
- Narciso Martı́-Oliet (38)
- Francisco Durán (36)
Filter by Topics
- Logic, programming, and type systems (45)
- Formal Methods in Verification (35)
- Logic, Reasoning, and Knowledge (22)
- Model-Driven Software Engineering Techniques (19)
- Access Control and Trust (17)