Lars-{\AA}ke Fredlund

Identifiers

• name variant Lars-{\AA}ke Fredlund 0.60 · backfill

Papers (2)

1. Runtime verification in Erlang by using contracts cs.PL · 2018 · author #1
2. Automatic Coding Rule Conformance Checking Using Logic Programs cs.PL · 2007 · author #4

Mentions

• 0711.0344 #4 · backfill · confidence 0.70 Lars-{\AA}ke Fredlund

Frequent Coauthors

• Julio Mari\~no 2 shared papers
• \'Angel Herranz 1 shared papers
• Guillem Marpons-Ucero 1 shared papers
• Juan Jos\'e Moreno-Navarro 1 shared papers
• Manuel Carro 1 shared papers
• Salvador Tamarit 1 shared papers
• Sergio P\'erez 1 shared papers