Benjamin C. Pierce

Benjamin C. Pierce

Professor of Computer and Information Science, University of Pennsylvania
E-mailová adresa ověřena na: cis.upenn.edu
Počet citací tohoto článku: 24417
Programming languages type systems security and privacy functional programming formal specification and verification
Julien Brunel

Julien Brunel

ONERA
E-mailová adresa ověřena na: onera.fr
Počet citací tohoto článku: 782
logic formal specification and verification formal approaches to dependability
A.K. Bhattacharjee

AK Bhattacharjee

BARC
E-mailová adresa ověřena na: barc.gov.in
Počet citací tohoto článku: 336
Software Engineering Formal Specification and Verification Synchronous Languages Software Security
Yao Li

Yao Li

Portland State University
E-mailová adresa ověřena na: pdx.edu
Počet citací tohoto článku: 212
Programming Languages Functional Programming Formal Specification and Verification
Meriem BELGUIDOUM

Meriem BELGUIDOUM

Professor of computer science, University of Abdelhamid Mehri-constantine 2
E-mailová adresa ověřena na: univ-constantine2.dz
Počet citací tohoto článku: 202
software engineering software Architecture cloud computing IoT formal specification and verification
Bingtian Xue

Bingtian Xue

Distributed and Embedded Systems Unit, Department of Computer Science, Aalborg …
E-mailová adresa ověřena na: cs.aau.dk
Počet citací tohoto článku: 70
Modal Logics Formal Specification and Verification Quantitative Systems Concurrency Theory
Marco Scaletta

Marco Scaletta

TU Darmstadt
E-mailová adresa ověřena na: cs.tu-darmstadt.de
Počet citací tohoto článku: 20
Formal Specification and Verification
Walid Barouk

Walid Barouk

Mentouri university
Software Engineering Destributed System web service composition formal specification and verification