The following pages link to Stefan Sokołowski (Q229500):
Displayed 18 items.
- Partial correctness: The term-wise approach (Q793507) (← links)
- Item:Q229500 (redirect page) (← links)
- Axioms for total correctness (Q1240548) (← links)
- A method for proving programming languages non context-free (Q1249046) (← links)
- Complexity of sorting by distributive partitioning (Q1259171) (← links)
- Second-order Percus-Yevick theory for a confined hard-sphere fluid (Q1285097) (← links)
- Toward formal development of programs from algebraic specifications: Parameterisation revisited (Q1323357) (← links)
- (Q2703722) (← links)
- (Q2843711) (← links)
- (Q3369656) (← links)
- (Q3883456) (← links)
- (Q3883457) (← links)
- (Q3930618) (← links)
- (Q3997545) (← links)
- (Q4134897) (← links)
- (Q4430321) (← links)
- Investigation of concurrent processes by means of homotopy functors (Q4792974) (← links)
- Overlapping associating fluids with directional bonds in a bulk and near a hard wall: Monte Carlo study (Q5955507) (← links)