Mathematics of Program Construction
MPC
B
CORE rank
CORE rank (raw)
B
Fields of research
Theory of Computation
Papers indexed
277
1989–2022
Papers per year
198936 peak2022
Most published authors
MPC papers
277 records sourced from DBLP. Search titles, filter by year, sort by recency.
| Year | Title | Authors |
|---|---|---|
| 1989 | Stepwise Refinement of Action Systems. | Ralph-Johan Back, Kaisa Sere |
| 1989 | A Formal Approach To Large Software Construction. | Jean-Raymond Abrial |
276–277 of 277← PreviousNext →
Comparable venues
Other A*/A conferences filed under the same field of research.
- A*SODAACM/SIAM Symposium on Discrete Algorithms
- A*ICALPInternational Colloquium on Automata Languages and Programming
- A*STOCACM Symposium on Theory of Computing
- A*FOCSIEEE Symposium on Foundations of Computer Science
- AESAEuropean Symposium on Algorithms
- ASTACSInternational Symposium on Theoretical Aspects of Computer Science
- A*LICSIEEE Symposium on Logic in Computer Science
- AGDGraph Drawing