TDG Scholar TDGScholar Committed to research! Version 1.7

Bibliography

| Report | Share
A total of 105 records were found in 0.5 seconds
A framework for formal verification of systems of synchronous components
MBEES, 145-154, 2012
Parametric corecursion and completely iterative monads
FICS, 2-5, 2002