?

Log in

Interests

Try searching posts and comments with the new LiveJournal text search

Find people and communities interested in:
 
Modify your interests based on those of:
 
 

Results for communities interested in "formal methods"

1 match:

Results for users interested in "formal methods"

More fun stuff can be found on the interests page.

13 matches:


graydon userpic
graydon
Name:graydon
Journal:frog hop
Updated 20 hours ago
jkhuggins userpic
jkhuggins
Name:Jim Huggins
Updated 1 week ago
no default userpic
rssh
Name:rssh
Updated 4 weeks ago
lnvp userpic
lnvp
Name:LNVP
Journal:LNVP
Updated 2 months ago
kiwano userpic
kiwano
Name:kiwano
Updated 3 months ago
damiancugley userpic
damiancugley
Name:Damian Cugley
Journal:Damian writes
Updated 10 months ago
kartia userpic
kartia
Name:Arcana
Updated 3 years ago
hill_report userpic
hill_report
Name:прекрасноликий посланец неба
Journal:Reports from the top of Hell
Updated 4 years ago
kupek85 userpic
kupek85
Name:THIEF
Journal:Silmarbillion
Updated 5 years ago
adamch userpic
adamch
Name:Adam Chlipala
Updated 8 years ago
hyperreality userpic
hyperreality
Name:Miss_E
Journal:A Highly Developed Form of Procrastination
Updated 13 years ago
no default userpic
specification
Name:SCR Tool
Journal:Experiences with Specification Languages
Updated 13 years ago
no default userpic
n1gth
Name:n1gth
Journal:Jam Master Goat's Journal
Updated 13 years ago