( en | de | ru )

 

Disambiguation of "Casset, Ludovic"

Author of the publication

copydeleteadd this publication to your clipboard
Application of the B formal method to the proof of a type verification algorithm.

, , and . HASE, page 115-124. IEEE Computer Society, (2000)

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.

Ludovic Magerand

Ludovic Hofer

Ludovic Devaux

Ludovic Durand

Ludovic Jacquin

 

Other publications of authors with the same name

Application of the B formal method to the proof of a type verification algorithm., , and . HASE, page 115-124. IEEE Computer Society, (2000)Development of an Embedded Verifier for Java Card Byte Code Using Formal Methods.. FME, volume 2391 of Lecture Notes in Computer Science, page 290-309. Springer, (2002)Formal Development of an Embedded Verifier for Java Card Byte Code., , and . DSN, page 51-58. IEEE Computer Society, (2002)Increasing smart card dependability., and . ACM SIGOPS European Workshop, page 209-212. ACM, (2002)How to Formally Specify the Java Bytecode Semantivs Using the B Method., and . ECOOP Workshops, volume 1743 of Lecture Notes in Computer Science, page 104-105. Springer, (1999)