BibSLEIGH — Maximilian_P_L_Haslbeck

BibSLEIGH

BibSLEIGH corpus

BibSLEIGH tags

BibSLEIGH bundles

BibSLEIGH people

EDIT!

CC-BY

Open Knowledge

XHTML 1.0 W3C Rec

CSS 2.1 W3C CanRec

email

Collaborated with:

Talks about:

asymptot (1) program (1) isabell (1) complex (1) verifi (1) imper (1) time (1)

Person: Maximilian P. L. Haslbeck

DBLP: Haslbeck:Maximilian_P=_L=

Contributed to:

IJCAR 2018

2018

Wrote 1 papers:

IJCAR-2018-ZhanH #complexity #imperative #source code #verification: Verifying Asymptotic Time Complexity of Imperative Programs in Isabelle (BZ, MPLH), pp. 532–548.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.