Science of Computer Programming

Công bố khoa học tiêu biểu

* Dữ liệu chỉ mang tính chất tham khảo

Sắp xếp:  
Constrained narrowing for conditional equational theories modulo axioms
Science of Computer Programming - Tập 112 - Trang 24-57 - 2015
Andrew Cholewa, Santiago Escobar, José Meseguer
Towards behavioral programming in distributed architectures
Science of Computer Programming - Tập 98 - Trang 233-267 - 2015
David Harel, Amir Kantor, Guy Katz, Assaf Marron, Gera Weiss, Guy Wiener
Towards mechanized correctness proofs for cryptographic algorithms
Science of Computer Programming - Tập 74 - Trang 52-63 - 2008
Jerry den Hartog
Modular, crash-safe refinement for ASMs with submachines
Science of Computer Programming - Tập 131 - Trang 3-21 - 2016
Gidon Ernst, Jörg Pfähler, Gerhard Schellhorn, Wolfgang Reif
Time refinement in a functional synchronous language
Science of Computer Programming - Tập 111 - Trang 190-211 - 2015
Louis Mandel, Cédric Pasteur, Marc Pouzet
Theory of partial-order programming
Science of Computer Programming - Tập 34 - Trang 207-238 - 1999
Mauricio Osorio, Bharat Jayaraman, David A. Plaisted
Understanding information update in questionnaires
Science of Computer Programming - Tập 97 - Trang 69-74 - 2015
Jan van Eijck, Tijs van der Storm
A fairness-based refinement strategy to transform liveness properties in Event-B models
Science of Computer Programming - Tập 225 - Trang 102907 - 2023
Chenyang Zhu, Michael Butler, Corina Cirstea, Thai Son Hoang
Dynamic state machines for modelling railway control systems
Science of Computer Programming - Tập 133 - Trang 116-153 - 2017
M. Benerecetti, R. De Guglielmo, U. Gentile, S. Marrone, N. Mazzocca, R. Nardone, A. Peron, L. Velardi, V. Vittorini
A Larch Shared Language handbook
Science of Computer Programming - Tập 6 - Trang 135-157 - 1986
J.V. Guttag
Tổng số: 1,109   
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 10