Danilo Obradovic

Information about the author Danilo Obradovic will soon be added to the site.

Found 2 papers in total

Resolution methods in proving the program correctness

2007

Program testing determines whether its behavior matches the specification, and also...

CLAS-A formal aid to data elements identification

1994

The method CLAS (Continuous Logic Attribute Synthesis) is a formalisation of the...

Papers per page: