Concepedia

Author

Josß Meseguer

Universidad de Málaga

Also Known As

Josß Meseguer

1

Publications

43

Citations

1

H-Index

9

Concepts

All Affiliations

Universidad de Málaga
JM

About

Josß Meseguer is an author at Universidad de Málaga specializing in formal verification, formal methods, and program analysis.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

43

2

Computer Science

1

1

43

3

Software Analysis

1

1

43

4

Software Engineering

1

1

43

5

Automated Reasoning

1

1

43

Josß Meseguer

×

1

Publications

43

Citations

1

H-Index

YearCitations

Page 1