( en | de | ru )

 

Disambiguation of "Sokolowski, Stefan"

Author of the publication

copydeleteadd this publication to your clipboard
Partial Correctness: The Term-Wise Approach.

. Sci. Comput. Program., 4 (2): 141-157 (1984)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Stefan Sokolowski

Moritz Sokolowski

Fabian Sokolowski

Janina Sokolowski

Gerhard Sokolowski

 

Other publications of authors with the same name

Complexity of Sorting by Distributive Partitioning., , and . Inf. Process. Lett., 9 (2): 100 (1979)The nonuniform Wertheim Ornstein-Zernike equation: Density profiles and pair correlation functions of a dimerizing hard sphere near a hard wall, , , and . Physica A: Statistical and Theoretical Physics, 244 (1-4): 147--163 (Oct 1, 1997)Soundness of Hoare's Logic: An Automated Proof Using LCF.. ACM Trans. Program. Lang. Syst., 9 (1): 100-120 (1987)Programs as term transformers.. Fundam. Informaticae, 3 (4): 419-432 (1980)Introduction to programming with specifications - a mathematical approach., , and . A.P.I.C. series Academic Press, (1991)Partial Correctness: The Term-Wise Approach.. Sci. Comput. Program., 4 (2): 141-157 (1984)Structural properties of a two-dimensional model for partly quenched colloidal dispersions, , and . Physica A: Statistical Mechanics and its Applications, 273 (3-4): 241--247 (Nov 15, 1999)How not to sweep infoxes u nder the carpet.. Bulletin of the EATCS, (1987)A Formal Study of Slicing for Multi-threaded Programs with JVM Concurrency Primitives., , , , and . SAS, volume 1694 of Lecture Notes in Computer Science, page 1-18. Springer, (1999)Understanding an informal Description: Office Documents Architecture, an ISO Standard., and . VDM Europe, volume 328 of Lecture Notes in Computer Science, page 48-63. Springer, (1988)