Publisher
Springer International Publishing
Reference15 articles.
1. API blueprint.
https://apiblueprint.org/
. Retrieved 7 Jan 2019
2. Bierman, G.M., Gordon, A.D., Hritcu, C., Langworthy, D.E.: Semantic subtyping with an SMT solver. J. Funct. Program. 22(1), 31–105 (2012)
3. Lecture Notes in Computer Science;M Boreale,2006
4. Boreale, M., Bruni, R., De Nicola, R., Loreti, M.: CaSPiS: a calculus of sessions, pipelines and services. Math. Struct. Comput. Sci. 25(3), 666–709 (2015)
5. Confident, a toolchain for the construction and evolution of REST APIs.
http://rss.di.fc.ul.pt/tools/confident
. Retrieved 7 Jan 2019
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Improving the Implementation of Microservice-Based Systems with Static Code Analysis;Agile Processes in Software Engineering and Extreme Programming – Workshops;2023-12-28
2. Statically Checking REST API Consumers;Software Engineering and Formal Methods;2020