Daniel Jurjo
IMDEA Software(ES)Universidad Politécnica de Madrid(ES)
Publications by Year
Research Areas
Logic, programming, and type systems, Formal Methods in Verification, Particle Detector Development and Performance, Software Engineering Research, Logic, Reasoning, and Knowledge