Journals in DBLP

Sci. Comput. Program.
1997, volume: 28, number: 2-3

1. Jan Madey, Andrzej Tarlecki, Wladyslaw M. Turski
   Foreword. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 1997, v:28, n:2-3, pp:91- [Journal]
   
2. André Arnold, Didier Bégay, Jean-Pierre Radoux
   The Embedded Software of an Electricity Meter: An Experience in Using Formal Methods in an Industrial Project. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 1997, v:28, n:2-3, pp:93-110 [Journal]
   
3. José Luiz Fiadeiro, T. S. E. Maibaum
   Categorical Semantics of Parallel Program Design. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 1997, v:28, n:2-3, pp:111-138 [Journal]
   
4. Michal Iglewski, Janina Mincer-Daszkiewicz
   Internal Design of Modules Specified in the Trace Assertion Method. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 1997, v:28, n:2-3, pp:139-170 [Journal]
   
5. Jifeng He, Karen Seidel, Annabelle McIver
   Probabilistic Models for the Guarded Command Language. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 1997, v:28, n:2-3, pp:171-192 [Journal]
   
6. Feliks Kluzniak, Miroslawa Milkowska
   Spill - A Logic Language for Writing Testable Requirements Specifications. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 1997, v:28, n:2-3, pp:193-223 [Journal]
   
7. Piotr Kosiuczenko, Martin Wirsing
   Timed Rewriting Logic with an Application to Object-Based Specification. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 1997, v:28, n:2-3, pp:225-246 [Journal]
   
8. Peter Pepper, Douglas R. Smith
   A High-Level Derivation of Global Search Algorithms (with Constraint Propagation). [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 1997, v:28, n:2-3, pp:247-271 [Journal]
   
9. Jeannette M. Wing, Mandana Vaziri
   A Case study in Model Checking Software Systems. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 1997, v:28, n:2-3, pp:273-299 [Journal]