Jimmi S. Pettersson

According to our database1, Jimmi S. Pettersson authored at least 4 papers between 1991 and 1995.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

1991
1992
1993
1994
1995
0
1
2
1
1
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

1995
The HOL-UNITY Verification System.
Proceedings of the TAPSOFT'95: Theory and Practice of Software Development, 1995

1994
A Graphical Tool for Proving Unity Progress.
Proceedings of the Higher Order Logic Theorem Proving and Its Applications, 1994

1993
Program Verification using HOL-UNITY.
Proceedings of the Higher Order Logic Theorem Proving and its Applications, 1993

1991
Comments on "Always-True is not Invariant": Assertional Reasoning About Invariance.
Inf. Process. Lett., 1991


  Loading...